电子商务系统形式化分析与验证技术综述(Ⅱ)

应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．本文将目前用于电子商务系统的形式化方法划分为四大类，综合分析并比较了各类方法的应用特点，并指出了进一步地研究工作．     

Swelling Studies of Chitosan-Gelatin Films Cross-Linked by Sulfate

0　IntroductionChitosanisadeacetylatedderivativeofchitin ,containinginitsstructure glucosamineandacetylglucosamine joinedthroughβ (1→ 4 )linkages.ItisinsolubleinwaterandcommonorganicsolventsbutsolubleatapHunder 6 .5acidicmedia.Duetoitsexcellentbiodegradableandbiocompatiblecharacter,chi tosanhasbeenexaminedextensivelyinthepharmaceuticalindus tryforitspotentialinthedevelopmentofdrugdeliverysys tems[1 ,2 ] .Gelatinisabiodegradablepolymerofwidesafety ,pro ducedfromcollagen ,themostabundantprote…     

鸡树条荚蒾对干旱胁迫的生理响应

采用盆栽试验,测定鸡树条荚!扦插苗和播种苗在干旱胁迫下的生理指标.结果表明:鸡树条荚!嫩枝扦插苗、播种苗和硬枝扦插苗叶片相对含水量(RWC)均呈下降趋势,说明干旱胁迫下鸡树条荚!叶片保水能力较弱;3种鸡树条荚!幼苗叶片可溶性蛋白、游离脯氨酸(Pro)、丙二醛(MDA)、相对电导率和叶绿素含量均表现为先增加后降低的变化规律,各生理指标在第12天和第15天达到峰值.     

Effect of cold rolling process on microstructure and mechanical properties of high strength β titanium alloy thin sheets

The microstructure and mechanical properties of Ti-3.5Al-5Mo-6V-3Cr-2Sn-0.5Fe high strength titanium alloy sheets prepared by unidirectional cold rolling and two-step cross cold rolling were investigated. Results showed that the β phase grains were refined significantly by cold rolling followed by solution treatment for a short time.Compared to unidirectional cold rolling, the short time solution treatment after two-step cross rolling could significantly reduce the non-uniformity of the microstructure of the alloy sheets. After aging treatment at 550 ℃,the anisotropy of the mechanical properties still existed in the unidirectional rolled sheets, and the tensile strength was highest along the rolling direction. After solution and aging treatment, the anisotropy of the mechanical properties of the two-step cross rolling process sheet was not obvious than unidirectional cold rolling,and alloy had good strength and plasticity matching.     

思想政治教育融入城市型、应用型大学英语教学的有效路径探析

将思想政治教育融入大学英语教学是新形势下对大学英语教师提出的要求。城市型、应用型大学英语教师应切实认识到语言传递意识形态的本质,深刻领会思想政治教育宽泛的育人内涵。从教学大纲修订环节入手,开发编写包含思想政治教育内容的教材及讲义。大学英语教师在英语教学过程中应该采取多种教学方法,从爱国主义、人格品质、理想信念、中国文化等方面对学生进行思想政治教育,帮助他们树立社会主义核心价值观,培养出符合城市型、应用型大学培养目标的合格人才。     

实时三维超声心动图与二维斑点追踪成像技术共同评价心肌梗死患者左室收缩功能与同步性

目的探讨二维斑点追踪成像(2D-STI)及实时三维超声心动图(RT-3DE)评价AMI患者左心室收缩功能和各节段运动的同步性.方法 50例急性心肌梗死患者为病例组,30例正常体检者为对照组,应用CMQ软件获取各节段径向圆周应变及应变率曲线,然后转变为RT-3DE模式,得到17节段时间-体积曲线(VTC),并获得收缩功能以及非同步收缩参数.结果 1)与对照组相比,心肌梗死组3个水平所有节段径向应变值和圆周应变值均减低;2)心梗组患者Trs-SD,Tcs-SD,Trsr-SD,Tcsr-SD明显高于对照组(P0.05);3)与单支冠状动脉病变心梗组比较,多支冠状动脉病变心梗组LVEDV,LVESV显著增加,LVEF显著减小;4)病例组患者左室Tmsv17-SD,Tmsv17-Dif,Tmsv17-SD%,Tmsv17-Dif%均较对照组增大(P0.05).结论 RT-3DE和2D-STI可以准确地量化左室收缩功能,评价AMI患者左室运动的同步性,左室收缩功能障碍也影响收缩同步性.     

Products Ranking Through Aspect-Based Sentiment Analysis of Online Heterogeneous Reviews

With the rapid growth of online shopping platforms, more and more customers intend to share their shopping experience and product reviews on the Internet. Both large quantity and various forms of online reviews bring difficulties for potential consumers to summary all the heterogenous reviews for reference. This paper proposes a new ranking method through online reviews based on different aspects of the alternative products, which combines both objective and subjective sentiment values. Firstly, weights of these aspects are determined with LDA topic model to calculate the objective sentiment value of the product. During this process, the realistic meaning of each aspect is also summarized. Then, consumers’ personalized preferences are taken into consideration while calculating total scores of alternative products. Meanwhile, comparative superiority between every two products also contributes to their final scores. Therefore, a directed graph model is constructed and the final score of each product is computed by improved PageRank algorithm. Finally, a case study is given to illustrate the feasibility and effectiveness of the proposed method. The result demonstrates that while considering only objective sentiment values of the product, the ranking result obtained by our proposed method has a strong correlation with the actual sales orders. On the other hand, if consumers express subjective preferences towards a certain aspect, the final ranking is also consistent with the actual performance of alternative products. It provides a new research idea for online customer review mining and personalized recommendation.     

河南省产业转移的创新响应区际差异研究

以产业转移的创新响应系数作为测度产业转移创新响应强度的变量指标,根据标准差和变异系数、相对发展率(Nich)以及离差(Di)和比率(Gi)等方法分析了河南省产业转移创新响应强度的区际差异及其影响因素。结果发现:(1)2007—2015年河南省产业转移的创新响应强度呈现不断增大的态势并呈现出阶段变化的特征。(2)河南省产业转移的创新响应强度从静态格局和动态变化上都呈现出明显的时空差异性,并根据各市的区域特点及产业转移的创新响应强度将河南省18个地市划分为强、较强、中等、较弱以及弱等5种区域类型;(3)创新能力、人才密集度、科技投入对产业转移的创新效应作用较大,技术市场需求和信息化作用相对较小。     

基于电刺激的多模式康复系统设计和研究

针对脑卒中后肢体功能障碍、褥疮及疼痛,分析了临床上常用的治疗参数,设计了多模式电刺激治疗系统。该系统通过触摸屏与主芯片STM32L152RCT6进行通信,控制升压和极性转换电路产生幅值、频率及脉宽均可连续调节的双极性电刺激脉冲,验证了系统的稳定性和镇痛的效果。通过试验验证了系统能稳定工作,且电脉冲幅值与电阻值的变化无关,且能提高受试者的疼痛阈值。能产生临床使用的电刺激疗法的各类参数,有利于临床实验和相关科研的开展。电刺激技术能够缓解人体疼痛,提高疼痛阈值。